Na matemática, uma função injectiva (ou injetora) é uma função que preserva a distinção: nunca aponta elementos distintos de seu domínio para o mesmo elemento de seu contradomínio. Em outras palavras, cada elemento do contradomínio da função é a imagem de no máximo um elemento de seu domínio. Ou seja, Uma função diz-se injectiva (ou injetora) se e somente se quaisquer que sejam ${\displaystyle x_{1}}$ e ${\displaystyle x_{2}}$ (pertencentes ao domínio da função), ${\displaystyle x_{1}}$ é diferente de ${\displaystyle x_{2}}$ implica que f(${\displaystyle x_{1}}$) é diferente de f(${\displaystyle x_{2}}$): ${\displaystyle x_{1}\neq x_{2}\Rightarrow f(x_{1})\neq f(x_{2}).}$

Graficamente, uma função ${\displaystyle f}$ é injectiva se e somente se nenhuma recta horizontal intersecta o seu gráfico em mais do que um ponto.

É importante notar que, neste tipo de função, o contradomínio tem uma cardinalidade sempre maior ou igual à do domínio. Além disso, pode haver mais elementos no contra-domínio que no conjunto imagem da função.

Ocasionalmente, uma função injetiva de ${\displaystyle X}$ a ${\displaystyle Y}$ é denotada ${\displaystyle f:X\rightarrowtail Y,}$ usando uma seta com uma "cauda separada" (U+21A3 ↣ rightwards arrow with tail). O conjunto de funções injetivas de ${\displaystyle X}$ a ${\displaystyle Y}$ pode ser denominado ${\displaystyle Y^{\underline {X}}}$ usando uma notação derivada daquela usada para decrescimento de potências fatoriais, uma vez que se ${\displaystyle X}$ e ${\displaystyle Y}$ são conjuntos finitos com respectivamente ${\displaystyle m}$ e ${\displaystyle n}$ elementos, o número de injeções de ${\displaystyle X}$ a ${\displaystyle Y}$ é ${\displaystyle n^{\underline {m}}.}$

Um monomorfismo é uma generalização de uma função injetiva na teoria das categorias.